On Minimality in Pseudo-bci-algebras
نویسندگان
چکیده
In this paper we consider pseudo-BCK/BCI-algebras. In particular, we consider properties of minimal elements (x ≤ a implies x = a) in terms of the binary relation ≤ which is reflexive and antisymmetric along with several more complicated conditions. Some of the properties of minimal elements obtained bear resemblance to properties of B-algebras in case the algebraic operations ∗ and ◦ are identical, including the property 0◦(0∗a) = a. The condition 0∗(0◦x) = 0◦(0∗x) = x for all x ∈ X defines the class of p-semisimple pseudo-BCK/BCI-algebras (0 ≤ x implies x = 0) as an interesting subclass whose further properties are also investigated below.
منابع مشابه
Quotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کاملP-CLOSURE IN PSEUDO BCI-ALGEBRAS
In this paper, for any non-empty subset C of a pseudo BCI-algebra X, the concept of p-closure of C, denoted by C(pc), is introduced and some related properties are investigated. Applying this concept, a characterization of the minimal elements of X is given. It is proved that C(pc) is the least closed pseudo BCI-ideal of X containing C and K(X) for any ideal C of X...
متن کاملGrzegorz Dymek ON THE CATEGORY OF PSEUDO - BCI - ALGEBRAS
The category psBCI of pseudo-BCI-algebras and homomorphisms between them is investigated. It is also shown that the category psBCIp of p-semisimple pseudo-BCI-algebras and homomorphisms between them is a reflective subcategory of psBCI.
متن کاملOn Two Classes of Pseudo-bci-algebras
The class of p-semisimple pseudo-BCI-algebras and the class of branchwise commutative pseudo-BCI-algebras are studied. It is proved that they form varieties. Some congruence properties of these varieties are displayed.
متن کاملOn the category of pseudo-BCI-algebras
The category psBCI of pseudo-BCI-algebras and homomorphisms between them is investigated. It is also shown that the category psBCIp of p-semisimple pseudo-BCI-algebras and homomorphisms between them is a reflective subcategory of psBCI.
متن کامل